#lang rosetta-racket


(require "tholos.rkt"
         "tholos-example.rkt")

(provide tholos
         tholos-example)